symbolic propagation

符号传播